2 402 202 книги
Поиск книг
Жанры
Книги
Категории и жанры
Лучшие книги
Библиотека
Помощь
Мобильная версия
Контакты
Как помочь?
libcats.org
Самая большая
электронная библиотека
рунета. Поиск книг и журналов
↓
Только точные совпадения
#1
Testing Software and Systems: 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010, Proceedings (Lecture Notes in ... Programming and Software Engineering)
Alexandre Petrenko
,
Adenilso Simao
,
Jose Carlos Maldonado
Категория:
Техника
4.43 Mb
#2
Formal Methods: Foundations and Applications, 13th Brazilian Symposium on Formal Methods, SBMF 2010 Natal, Brazil, November 8-11, 2010
Jim Davies
,
Leila Silva
,
Adenilso Simao
4.66 Mb
#3
Formal Methods: Foundations and Applications - SBMF 2011
Adenilso Simao
,
Carroll Morgan
3.31 Mb